compound
\\[0ex]IsMonoid($T$;${\it op}$;${\it id}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Assoc($T$;${\it op}$) \& Ident($T$;${\it op}$;${\it id}$)